RCS "$Id: Logic.sig,v 1.7 1998/08/13 11:38:49 pxs Exp $";
(* The logic used internally by the CWB, e.g. in model-checking              *)
(* All variables must be bound, and they must be distinct.                   *)
(* (This is assured by the translator.)                                      *)

signature LOGIC =
sig
   structure M : MODALITY
   type prop
   val printString : prop -> string
end

